Міністерство освіти і науки України Національний університет „Львівська політехніка” Кафедра АСУ
Звіт до лабораторної роботи №6 з дисципліни «Основи автоматизованого проектування складних об’єктів та систем»  Тема роботи: Діаграми станів. Мета роботи: Оволодіти навичками моделювання діаграм станів та навчитися реалізовувати їх. Завдання: Здійснити моделювання діаграм станів за допомогою середовища розробки діаграм Enterprise Architect або в Borland Together. Теоретичні відомості Поняття стану (state) є фундаментальним не тільки в метамоделі мови UML, але і в прикладному системному аналізі. Вся концепція динамічної системи ґрунтується на понятті стану системи. Проте семантика полягання в мові UML має цілий ряд специфічних особливостей. У мові UML під станом розуміється абстрактний метаклас, використовуваний для моделювання окремої ситуації, протягом якої має місце виконання деякої умови. Стан може бути задане у вигляді набору конкретних значень атрибутів класу або об'єкту, при цьому зміна їх окремих значень відбиватиме зміну стану модельованого класу або об'єкту. Слід відмітити, що не кожен атрибут класу може характеризувати його стан. Як правило, мають значення тільки такі властивості елементів системи, які відображають динамічний або функціональний аспект її поведінки. В цьому випадку стан характеризуватиметься деякою інваріантною умовою, що включає тільки значущі для поведінки класу атрибути і їх значення. Наприклад, інваріант може представляти статичну ситуацію, коли об'єкт знаходиться в стані очікування виникнення деякої зовнішньої події. З іншого боку, інваріант використовується для моделювання динамічних аспектів, коли в ході процесу виконуються деякі дії. В цьому випадку модельований елемент переходить в даний стан у момент початку відповідної діяльності і покидає даний стан у момент її завершення. Початковим станом є окремий випадок стану, який не містить ніяких внутрішніх дій (псевдо стани). У цьому стані знаходиться об'єкт за умовчанням в початковий момент часу. Воно служить для вказівки на діаграмі станів графічної області, від якої починається процес зміни станів. Графічно початкове полягання в мові UML позначається у вигляді закрашеного кружка (Рис. 1, а), з якого може тільки виходити стрілка, відповідна переходу.
Рис. 1 Графічне зображення початкового і кінцевого перебувань на діаграмі станів На самому верхньому рівні представлення об'єкту перехід з початкового стану може бути помічений подією створення (ініціалізації) даного об'єкту. Інакше перехід ніяк не позначається. Якщо цей перехід не помічений, то він є першим переходом в наступний за ним стан. Кінцевим (фінальне) станом є окремий випадок стану, який також не містить ніяких внутрішніх дій (псевдо стани). У цьому стані знаходитиметься об'єкт за умовчанням після завершення роботи автомата в кінцевий момент часу. Воно служить для вказівки на діаграмі станів графічної області, в якій завершується процес зміни станів або життєвий цикл даного об'єкту. Графічно кінцеве полягання в мові UML позначається у вигляді закрашеного кружка, поміщеного в коло (Рис. 1, б), в яке може тільки входити стрілка, відповідна переходу. Простій переходом (simple transition) є відношення між двома послідовними станами, яке указує на факт зміни одного стану іншим. Перебування модельованого об'єкту в першому стані може супроводжуватися виконанням деяких дій, а перехід в другий стан буде можливий після завершення цих дій, а також після задоволення деяких додаткових умов. В цьому випадку говорять, що перехід спрацьовує, Або відбувається спрацьовування переходу. До спрацьовування переходу об'єкт знаходиться в попередньому від нього стані, званим початковим станом, або в джерелі (не плутати з початковим станом — це різні поняття), а після його спрацьовування об'єкт знаходиться в подальшому від нього стані (цільовому стані). Перехід здійснюється при настанні деякої події: закінчення виконання діяльності (do activity), отриманні об'єктом повідомлення або прийомом с...